System == {M:IdMsgA| loc:Id. Feasible(M(loc))}  

latex

---

clarification:

msystem{i:l} == {M:Idmsga{i:l}| loc:Id. ma-feasible{i:l}((M(loc)))}  

latex

Definitions	{x:A| B(x)} , x:AB(x), MsgA, x:A. B(x), Id, Feasible(M), f(a)
FDL editor aliases	m-sys